Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clarify that fatal error is fine #1335

Merged
merged 2 commits into from
Jun 13, 2020
Merged

Conversation

goretkin
Copy link
Contributor

@goretkin goretkin commented Jun 9, 2020

Could be worth suppressing stdout/stderr or not using the git CLI to begin with, but this is a small message that I would have appreciated.

src/Documenter.jl Outdated Show resolved Hide resolved
src/Documenter.jl Outdated Show resolved Hide resolved
@mortenpi mortenpi added this to the 0.25.0 milestone Jun 12, 2020
@mortenpi
Copy link
Member

Could be worth suppressing stdout/stderr

That was my first thought as well, but actually it is probably better to print the Git output, since it may contain useful information when things are going wrong, especially on CI.

not using the git CLI to begin with

That's, in principle, on the roadmap: #686

Co-authored-by: Morten Piibeleht <[email protected]>
@mortenpi
Copy link
Member

@mortenpi mortenpi merged commit 2a246ad into JuliaDocs:master Jun 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants